Search results for " Dummett"

showing 4 items of 4 documents

Regole d'inferenza tra normalizzazione e armonia (Seconda parte)

2002

Logica Dummett Prawitz Gentzen Teoria della dimostrazione Teoria del significato
researchProduct

Regole d'inferenza tra normalizzazione e armonia

2001

Logica Dummett Prawitz Gentzen teoria della dimostrazione teoria del significato
researchProduct

PER UNA TEORIA DEL SIGNIFICATO REALISTA RICERCHE PER UNA DIA-LOGICA DEI GIOCHI

Teoria del significato teoria dei Giochi Logica filo-indipendente Hintikka Dummett logiche non classiche semantica Realismo/antirealismo.
researchProduct

Logica dei quantificatori dipendenti e indipendenti. Saggio critico-introduttivo alla logica filo-indipendente di Hintikka

2009

A differenza della logica tradizionale, in questa prima monografia italiana sulla logica filo-indipendente di Jaakko Hintikka, la verità logica non è la conclusione di una dimostrazione affidata a regole deduttive, ma è piuttosto il risultato della contesa dialogante tra un falsificatore (Abelardo) e un verificatore (Eloisa). In tal modo Hintikka sviluppa un linguaggio logico con una semantica basata sulla teoria dei giochi di von Neumann e Morgenstern che è in grado di descrivere, attraverso un ‘dialogo’ tra un proponente ed un opponente, l’ontologia del mondo. Che cos’è allora la verità? È forse la capacità di possedere una strategia vincente contro un opponente secondo l’attività di socr…

Teoria semantica dei giochi informazione perfetta e imperfetta Quantificatori definizione di verità Dummett significato e costanti logiche.
researchProduct